Alan Bundy - PDFSEARCH.IO - Document Search Engine

Alan Bundy
Results: 69

#	Item
51	Explicit vs Implicit Search Guidance Alan Bundy University of Edinburgh Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:35 Automated theorem proving Heuristics Rippling Theorem Lemma Mathematical proof Mathematics Logic Linguistics
52	Towards a Strategy Language for Describing Proofs Alan Bundy University of Edinburgh AI4FM Kick-off Meeting Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:29 Logic IsaPlanner Mathematical proof Proof theory Nqthm Automated theorem proving Mathematics Rippling
53	A strategy language to facilitate proof re-use Gudmund Grov School of Informatics University of Edinburgh with contributions from: Alan Bundy, Lucas Dixon, Katya Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:35 Soft tennis at the 2010 Asian Games Soft tennis at the 2006 Asian Games Musical tuning Graphics chips MSX
54	Productive use of failure in formal methods Yuhui Lin, Gudmund Grov & Alan Bundy ARW Glasgow, 11 April 2011 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:44 Theoretical computer science Rippling Mathematical proof Proof Automated theorem proving Mathematics Logic
55	Using AI to aid automation of proof search in Formal Methods Cliff B. Jones, Alan Bundy, Andrew Ireland, Gudmund Grov, Leo Freitas, Andrius Velykis & Michael Butler Overview & motivation The AI4FM approach Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:51 Logical syntax Mathematical logic Formal methods Proof theory Rippling Mathematical proof Formal proof IP Theorem Logic Mathematics Automated theorem proving
56	The Use of Rippling to Automate Event-B Invariant Preservation Proofs Yuhui Lin Alan Bundy Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:51 Rippling Mathematical proof Lemmas Knowledge Mathematics Automated theorem proving Heuristics
57	Productive use of failure in top-down formal methods Alan Bundy, Gudmund Grov, Yuhui Lin Background & motivation Our approach Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:50 Automated theorem proving Proof theory Heuristics Rippling Mathematical proof Theorem Formal methods Formal proof Caller Logic Mathematics Logical syntax
58	The AI4FM approach for proof automation within formal methods A Grand Challenge 6 “Dependable Systems Evolution" project Gudmund Grov Alan Bundy Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:50 Logical syntax Formal methods Mathematical logic Theoretical computer science Rippling Mathematical proof Theorem Formal proof KeY Logic Mathematics Automated theorem proving
59	The Use of Rippling to Automate Event-B Invariant Preservation Proofs Yuhui Lin, Alan Bundy, and Gudmund Grov School of Informatics, University of Edinburgh, UK Abstract. Proof automation is a common bottleneck for indu Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:50 Rippling IsaPlanner Theorem Unification Mathematical proof Automated theorem proving Logic Mathematics
60	using AI to aid automation of proof search in Formal Methods Cliff B. Jones, Alan Bundy, Gudmund Grov, Andrew Ireland & Michael Butler Overview & motivation The AI4FM approach Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:51 Theoretical computer science Proof theory Logical syntax Formal systems Logical truth Rippling Mathematical proof Theorem KeY Logic Automated theorem proving Mathematics